- синтаксическая непротиворечивость
- syntactic consistency мат.
Русско-английский научно-технический словарь Масловского. 2015.
синтаксическая непротиворечивость
Look at other dictionaries:
непротиворечивость — НЕПРОТИВОРЕЧИВОСТЬ свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений. В логических… … Энциклопедия эпистемологии и философии науки
Непротиворечивость — совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… … Большая советская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Лингвистическая типология — Лингвистика Теоретическая лингвистика Фонетика Фонология Морфология Синтаксис Семантика Лексическая семантика Прагматика … Википедия
Типология (лингвистика) — У этого термина существуют и другие значения, см. Типология. … Википедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
Смирнова, Елена Дмитриевна — (р. 28.04.1929) спец. по логике; д р филос. наук, проф. Род. в Киеве. Окончила филос. ф т МГУ (1954), асп. по кафедре логики того же ф та (1963). С 1963 работает на той же кафедре, в наст. вр. проф., а также с 1996 зав. сектором логики ИФ РАН, в… … Большая биографическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
